projects / cargo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b6b6d0b b40e1db)
Auto merge of #2590 - alexcrichton:dont-warn-about-flags-and-configs, r=brson
authorbors <bors@rust-lang.org>
Tue, 19 Apr 2016 18:46:40 +0000 (11:46 -0700)
committerbors <bors@rust-lang.org>
Tue, 19 Apr 2016 18:46:40 +0000 (11:46 -0700)
Have CLI take preference over config for verbosity

If a CLI option is passed, that trumps any command line configuration, otherwise
just do what we did previously.

Closes #2588


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.